241. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics-philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
242. The construction of logical space /
پدیدآورنده : Agustín Rayo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic,Logic, Symbolic and mathematical-- Philosophy,Mathematics-- Philosophy,Metaphysics,Space-- Philosophy
رده :
BC135
.
R39
2013
243. The development of mathematical logic
پدیدآورنده : P. H. Nidditch
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
244. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
245. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
246. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
247. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
248. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
249. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Turing, Alan Mathison,--1912-1954,Mathematics.,Logic, Symbolic and mathematical.,Enigma cipher system.,Artificial intelligence.
رده :
QA7
,.
T772
,
2004
250. The evolution of Principia mathematica :
پدیدآورنده : Bernard Linsky
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Russell, Bertrand,1872-1970., Principles of mathematics,Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
R883
L56
2011
251. The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition
پدیدآورنده : Linsky, Bernard
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Russell, Bertrand, 2781-0791. Principles of mathematics,، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R883L56
252. The foundations of mathematics and other logical essays
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
253. The foundations of mathematics and other logical essays.
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R3
254. The foundations of mathematics and other logical essays
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
1960
255. The limits of science; outline of logic and of the methodology of the exact sciences.
پدیدآورنده : Chwistek, Leon
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Science - Methodology,، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
Q
175
.
C494
1948
256. The limits of science;outline of logic and of the methodology of the exact sciences
پدیدآورنده : By the late Leon Chwistek; Introduction and appendix by Helen Charlotte Brodie
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Science--Methodology.,Mathematics--Philosophy.,Logic, Symbolic and mathematical.
257. The limits of science; outline of logic and of the methology of the exact science
پدیدآورنده : / [Translated from the Polish by Helen Charlotte Brodie and Arthur P. Coleman] Introduction and appendix by Helen Charlotte Brodie,Chwistek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Science -- Methodolgy,Mathematics -- Philosophy.,Logic, Symbolic and mathematical
رده :
Q
175
.
C494
258. <The> logical systems of Lesniewski
پدیدآورنده :
موضوع :
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
259. The mathematical experience
پدیدآورنده : Philip J. Davis, Reuben Hersh, Elena Anne Marchisotto
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics-- History,Mathematics-- Philosophy,Mathematics-- Study and teaching
رده :
QA8
.
4
.
D37
2012eb
260. The metaphysics and mathematics of arbitrary objects /
پدیدآورنده : Leon Horsten, University of Bristol
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Abstraction.,Logic, Symbolic and mathematical.,Mathematical recreations.,Mathematics-- Philosophy.,Metaphysics.,Probabilities-- Philosophy.,Random variables.,Variables (Mathematics),Abstraction.,Logic, Symbolic and mathematical.,Mathematical recreations.,MATHEMATICS-- Essays.,Mathematics-- Philosophy.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Metaphysics.,Probabilities-- Philosophy.,Random variables.,Variables (Mathematics)
رده :
QA8
.
4
.
H67
2019eb
